tetrachlorocyclohexenols