Acid Catalysis of a Wittig Reaction