Forming alicyclic ring from benzene ring