AIDS-170018 AIDS170018 L-Prolinamide, N-(pyrazinylcarbonyl)-L-valyl-L-valyl-N-[(1S)-1-formylpropyl]-4-[[(1-naphthalenylamino)carbonyl]oxy]-, (4R)-