AIDS-153839 AIDS153839 Dec-9-enyl-{(2R,3S)-3-[(3R,3aS,6aR)-(hexahydro-furo[2,3-b]furan-3-yl)oxycarbonylamino]-2-hydroxy-4-phenyl-butyl}-carbamic acid, 1-cyclohexyl-but-3-enyl ester