4-(1,3-Benzothiazol-2-yl)-1-(3,4-dichlorophenyl)-2,3,5,6-piperidinetetrone AIDS-131462 AIDS131462 NSC623770