AIDS-151684 AIDS151684 Ethyl 4-(1-allyl-3-hydroxy-3-pyrrolidinyl)-5-(3-methyl-5-isoxazolyl)-1H-pyrrole-2-carboxylate NSC693054