The carbocation electrophile in a Friedel—Crafts reaction can be generated in ways other than by reaction of an alkyl chloride with A1Cl3. For example, reaction of benzene with 2-methylpropene in the presence of H3PO4 yields tert-butyl benzene. Propose a mechanism for this reaction.