AIDS-152124 AIDS152124 Ethyl 5-(3-hydroxy-2-butenoyl)-4-(2-oxo-1-phenyl-3-pyrrolidinyl)-1H-pyrrole-2-carboxylate NSC694961