Formal Synthesis of (+)-Ottelione A (Synfacts, 2008)