Contraction of π-Conjugated Rings upon Oxidation from Cyclooctatetraene to Benzene via the Tropylium Cation.