Efficient Total Synthesis of Enantiopure (-)-Porantheridine.