2-Hydroxy-3-[(1E)-pent-1-enyl]naphthoquinone AIDS-154728 AIDS154728