.beta.-Naphthoyl-(2S,3S)-AHPBA-4(S)-Cl-Pro-NH-t-Bu AHPBA deriv. AIDS-059730 AIDS059730 N-((1S,2S)-3-{(2S,4S)-2-[N-(tert-Butyl)carbamoyl]-4-chloropyrrolidinyl}-2-hydroxy-3-oxo-1-benzylpropyl)-2-naphthylcarboxamide