"R.sub.4 are as defined above, and L is a leaving group, such as halo, tosylate, or mesylate." . . . . .