4-(1,3-Benzothiazol-2-yl)-1-(1,3-thiazol-2-yl)-2,3,5,6-piperidinetetrone AIDS-135575 AIDS135575 NSC635520