3-(3-Methylbut-2-en-1-yl)-1,4-dioxo-1,4-dihydronaphthalen-2-yl 4-bromobenzoate AIDS-188137 AIDS188137