2-Pentenoic acid, 4-[[(6-methyl-2-naphthalenyl)carbonyl]amino]-5-[(3S)-2-oxo-3-pyrrolidinyl]-, ethyl ester, (2E,4S)- AIDS-122428 AIDS122428