Synthesis of (-)-Ovalicin (Synfacts, 2007)