4-(1,3-Benzothiazol-2-yl)-1-(3-(trifluoromethyl)phenyl)-2,3,5,6-piperidinetetrone AIDS-135580 AIDS135580 NSC635525