On a non-Abelian Hirota–Miwa equation