AIDS-185188 AIDS185188 L-Prolinamide, N-(pyrazinylcarbonyl)-D-valyl-D-valyl-N-[(1S)-1-formylpropyl]-4-(2-naphthalenyloxy)-, (4R)-