(4R,5S,6S,7R)-1,3,4,7-Tetrabenzyl-2-methyl-2-oxo-2.lamda.5-[1,3,2]diazaphosphepane-5,6-diol AIDS-081722 AIDS081722