AIDS-095534 AIDS095534 {(1S,2R)-1-Benzyl-3-[(4-carbomethoxy-2,2-dimethyl-butyl)-(4-methoxy-benzenesulfonyl)-amino]- 2-hydroxy-propyl}-carbamic acid [1,3] dioxan-5-yl ester