Copper-catalyzed formal C - H carboxylation of aromatic compounds with carbon dioxide through arylaluminum intermediates.