AIDS-152846 AIDS152846 Ethyl 2-oxo-1-(4-pentenoyl)-3-pyrrolidinecarboxylate NSC697934