Electrophilic aromatic substitution mechanism