1-(4-Oxo-4-(1-pyrrolidinyl)-2-butenoyl)pyrrolidine AIDS-148709 AIDS148709 NSC681664