(3-endo,4-endo,6-exo)-2,7-Bis(cyclopropylmethyl)-3,6-dibenzyl-8-oxa-2,7-diaza-1-phosphabicyclo[3.2.1]octan-4-ol-1-oxide AIDS-042896 AIDS042896 Diazaphosphabicyclooctanol, Bz c-Pr deriv.