AIDS-048575 AIDS048575 NSC690672 Piperidine, 1-[(2,3-dihydro-3-methyl-2-oxo-6-benzothiazolyl)thioxomethyl]-