A xanthurenate and an isoindolinone from the mycelia of Hericium erinaceum. (August 2018)