A convenient synthesis of protected (R)-α-phenylproline derivatives using the Mitsunobu reaction