Synthetic approaches to the imidazonaphthoquinone core of kealiiquinone and related Leucetta-derived alkaloids are described. The polysubstituted benzimidazole framework can be constructed through intramolecular Diels–Alder reactions of propiolate-derived enynes