Formal Synthesis of (-)-Haouamine (Synfacts, 2008)