3-[(1R,2R)-2-(2,4-Difluorophenyl)-2-hydroxy-1-methyl-3-(1,2,4-triazolyl)propyl]-6-(4-methylthiophenyl)-3-hydrothiopheno[3,2-d]pyrimidin-4-one AIDS-096313 AIDS096313