AIDS-185192 AIDS185192 L-Prolinamide, N-(pyrazinylcarbonyl)-D-valyl-D-valyl-N-(1-formylpropyl)-4-[(1-naphthalenylcarbonyl)oxy]-, (4R)-