2-Hexenoic acid, 2-hydroxy-6-(2-naphthalenyl)-4,6-dioxo- AIDS-113535 AIDS113535