The direct conversion of beta-hydroxyproline derivatives into 5-hydroxypyrazin-2(1H)-ones under Mitsunobu conditions has been discovered to be a general biomimetic protocol generating IMDA intermediates and has been applied to the concise, biomimetic total syntheses of D,L-stephacidin A and D,L-brevianamide B.