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