Bifunctional Phosphonium Salt Directed Enantioselective Formal [4 + 1] Annulation of Hydroxyl-Substituted para-Quinone Methides with α-Halogenated Ketones.