A formal total synthesis of (-)-cephalotaxine.