tetrachlorocyclohexenes