2,4(1H,3H)-Pyrimidinedione, 1-cyclopropyldihydro-3-(phenylmethyl)-6-[(6S)-tetrahydro-6-methoxy-2,2-dimethylfuro[2,3-d]-1,3-dioxol-5-yl]-, (6S)- AIDS-179805 AIDS179805