Asymmetric Tandem Michael Addition—Wittig Reaction to Cyclohexenone Annulation.