2-Hydroxy-3-[(1E)-3-methylbut-1-enyl]naphthoquinone AIDS-154727 AIDS154727 NSC629755