AIDS-048571 AIDS048571 NSC690669 Piperidine, 1-[(2,3-dihydro-3-methyl-2-oxo-6-benzoxazolyl)thioxomethyl]-