4-(1,3-Benzothiazol-2-yl)-1-(4-chlorophenyl)-2,3,5,6-piperidinetetrone AIDS-134104 AIDS134104 NSC631523