(2S)-N-(3-{(2S)-2-[N-(tert-Butyl)carbamoyl]pyrrolidinyl}(1S,2S)-2-hydroxy-3-oxo-1-benzylpropyl)-3-methyl-2-(2-naphthyloxyacetylamino)butanamide AIDS-059172 AIDS059172 NoA-Val-Phe-psi [CH(OH)C(O)N]Pro-NH-tBu