. . . "[0023]B is as defined above, X is a leaving group, such as, for example, a" . .