Formal Synthesis of (+)-Zaragozic Acid C (Synfacts, 2007)