4-(1,3-Benzothiazol-2-yl)-1-(2-ethyl-6-isopropylphenyl)-2,3,5,6-piperidinetetrone AIDS-135388 AIDS135388 NSC635131