Formal Synthesis of (-)-Platensimycin (Synfacts, 2008)