Tetrachlorocyclopentadienone O-oxide, a facile oxygen-atom transfer reagent: the oxidation of cyclohexene