AIDS-151973 AIDS151973 Ethyl 4-[3-hydroxy-1-(2-methylbutyl)-2-oxopyrrolidin-3-yl]-5-(3-methylisoxazol-5-yl)-1H-pyrrole-2-carboxylate NSC694464