2-Thiophenebutanoic acid, alpha,gamma-dioxo-5-(1-pyrrolidinyl)- AIDS-184802 AIDS184802