. . . . "in which L.sub.1 is a leaving group and X is as defined in claim 1," .