tetrachlorothiophene