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