Formal Synthesis of (-)-Balanol (Synfacts, 2007)