A total synthesis of manzamine c