Formal Synthesis of Fostriecin (Synfacts, 2008)