Remote intramolecular functionalization of arylnitrenium ions. ipso-substitution and spiro-lactone formation