AIDS-097257 AIDS097257 [1S-[1R*,2S*(2S*,3R*)]]-[2-Hydroxy-3-[[2-hydroxy-3-[(2-naphthalenylcarbonyl)amino]-4-phenylbutyl]-amino]-1-(phenylmethyl)propyl]carbamic acid, 1,1-dimethylethyl ester