Formal Total Synthesis of the Alkaloid Cryptotackieine (Neocryptolepine)