why is dmf used as a solvent in a wittig reaction