(4R,5R,6R)-Tetrahydro-1,3-bis[(naphth-2-yl)methyl]-5-hydroxy-4-(.beta.-styrene)-6-(phenylmethyl)-2(1H)-pyrimidinone AIDS-071223 AIDS071223