A formal synthesis of porantheridine and an epimer.