Formal synthesis of belactosin A and hormaomycin via a diastereoselective intramolecular cyclopropanation of an alpha-nitro diazoester.