AIDS-151974 AIDS151974 Ethyl 4-(1-(2-methylbutyl)-2-thioxo-3-pyrrolidinyl)-5-(3-methyl-5-isoxazolyl)-1H-pyrrole-2-carboxylate NSC694467