2-Hydroxy-3-(2-methylprop-1-en-1-yl)naphthoquinone AIDS-188140 AIDS188140