Ring Contraction of Tropylium Ions into Benzenoid Derivatives.