3-(3-Methylbut-2-en-1-yl)-1,4-dioxo-1,4-dihydronaphthalen-2-yl laurate AIDS-188138 AIDS188138