2-[(1E)-But-1-enyl]-3-hydroxynaphthoquinone AIDS-154726 AIDS154726