AIDS-095458 AIDS095458 {(1S,2R)-1-Benzyl-3-[(4-cyano-2,2-dimethyl-butyl)-(4-hydroxybenzenesulfonyl)-amino]- 2-hydroxy-propyl}-carbamic acid [1,3]dioxan-5-yl ester