2,4(1H,3H)-Pyrimidinedione,1-[(1S,3S,4R,5S)-4-(hydroxymethyl)-3-(phosphonooxy)bicyclo[3.1.0]hex-1-yl]-5-methyl-