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