Electroorganic chemistry. X. Anodic allylic substitution