(4S,5S,6S)-Tetrahydro-1,3-bis[(3-cyanophenyl)methyl]-5-hydroxy-4-(2-phenylethyl)-6-(phenylmethyl)-2(1H)-pyrimidinone AIDS-050825 AIDS050825 Tetrahydropyrimidinone deriv.