(1R,3R,4S,5S,6R)-2,3,6,7-Tetrabenzyl-1-oxo-8-oxa-2,7-diaza-1.lambda.5-phospha-bicyclo[3.2.1]octan-4-ol AIDS-081721 AIDS081721