AIDS-151821 AIDS151821 Methyl 4-((dimethylamino)methylene)-5-thioxo-2-pyrrolidinecarboxylate NSC693717