A Concise Total Synthesis of (-)-Himalensine A.