(4R,5R,6R)-Tetrahydro-1,3-bis[(3-cyano-4-fluorophenyl)methyl]-5-hydroxy-4-(2-phenylethyl)-6-(phenylmethyl)-2(1H)-pyrimidinone AIDS-071193 AIDS071193