4-(1,3-Benzothiazol-2-yl)-1-(2,5-dichlorophenyl)-2,3,5,6-piperidinetetrone AIDS-131445 AIDS131445 NSC623748