AIDS-113272 AIDS113272 N-((1R,2R)-3-{2-[N-(tert-Butyl)carbamoyl]phenyl}-2-hydroxy-1-(2-naphthylthiomethyl)propyl)(2S)-3-carbamoyl-2-(2-quinolyloxycarbonylamino)propanamide