A Formal Synthesis of (+)-Huperzine A