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