2-[3-(2-Cyclohexylacetylamino)(2-thienyl)]-5,6-dihydroxypyrimidine-4-carboxylic acid AIDS-164716 AIDS164716