Among the following, the reaction that proceeds through an electrophilic substitution, is: