Formal Synthesis of Platensimycin (Synfacts, 2009)