2-Pentenoic acid, 4-[(2-naphthalenylcarbonyl)amino]-5-[(3S)-2-oxo-3-pyrrolidinyl]-, ethyl ester, (2E,4S)- AIDS-122427 AIDS122427