Diastereoselective epoxidation of allylic phosphine oxides