AIDS-151825 AIDS151825 Methyl 1-acetyl-5-thioxo-2-pyrrolidinecarboxylate NSC693724