2-Thiophenebutanoic acid, alpha,gamma-dioxo-5-(1-piperidinyl)- AIDS-184806 AIDS184806