5,6-Dihydroxy-2-[3-(2-(2-naphthyl)acetylamino)(2-thienyl)]pyrimidine-4-carboxylic acid AIDS-164512 AIDS164512