AIDS-170037 AIDS170037 L-Prolinamide, N-(pyrazinylcarbonyl)-L-valyl-L-valyl-N-[(1S)-1-formylpropyl]-4-[(2-naphthalenylcarbonyl)amino]-, (4R)-