(4R,5R,6R)-Tetrahydro-1,3-bis[(4-carbomethoxyphenyl)methyl]-5-hydroxy-4-(2-phenylethyl)-6-(phenylmethyl)-2(1H)-pyrimidinone AIDS-086422 AIDS086422