5,6-Dihydroxy-2-[3-(2-1,2,3,4-tetrahydronaphthylcarbonylamino)(2-thienyl)]pyrimidine-4-carboxylic acid AIDS-164532 AIDS164532