"wherein R56, R57, and Alk are defined above and J is a leaving group;" . . . .