AIDS-035139 AIDS035139 Benzamide, 4-[3-[(1R,2R)-2-(2,4-difluorophenyl)-2-hydroxy-1-methyl-3-(1H-1,2,4-triazol-1-yl)propyl]-3,4-dihydro-4-oxothieno[3,2-d]pyrimidin-6-yl]-