Formal Synthesis of (-)-Cochleamycin A (Synfacts, 2009)