1-(1,3-Benzothiazol-2-yl)-4-(2-ethyl-6-isopropylphenyl)-2,3,5,6-piperidinetetrone AIDS-131133 AIDS131133 NSC622321