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