AIDS-180528 AIDS180528 Benzamide, 3,4-dichloro-N-[(1S)-3-(methylsulfonyl)-1-[[[(3R)-1-(1-naphthalenylmethyl)-3-pyrrolidinyl]amino]carbonyl]propyl]-