3-[(1R,2R)-2-(2,4-difluorophenyl)-2-hydroxy-1-methyl-3-(1,2,4-triazolyl)propyl]-6-(4-(1,3-oxazolidin-2-yl)phenyl)-3-hydrothiopheno[3,2-d]pyrimidin-4-one AIDS-095331 AIDS095331