AIDS-170042 AIDS170042 L-Prolinamide, N-(pyrazinylcarbonyl)-L-valyl-L-valyl-N-[(1R)-1-(diphenoxyphosphinyl)propyl]-4-(2-naphthalenylmethoxy)-, (4R)-