4-(1,3-Benzothiazol-2-yl)-1-(2-ethoxyphenyl)-2,3,5,6-piperidinetetrone AIDS-135579 AIDS135579 NSC635524