Olefin inversion. 1. Reaction of aliphatic epoxides with triphenylphosphine dihalides