. . . "f.) when Y is a hydroxy protecting group and R3.spsp.a is a protected hydroxy then X must not be a leaving group." .