AIDS-147727 AIDS147727 Ethyl 1-benzoyl-5-oxo-2-pyrrolidinecarboxylate NSC677739