AIDS-170032 AIDS170032 L-Prolinamide, N-(pyrazinylcarbonyl)-L-valyl-L-valyl-N-[(1S)-1-formylpropyl]-4-[[(2-propenyloxy)carbonyl]amino]-, (4R)-