1-(4-Chloro-3-(trichloromethyl)-5-isothiazolyl)piperidine AIDS-143730 AIDS143730 NSC665112