Group theory: derivatives of cyclo-octatetraene