Erinaceolactones A to C, from the culture broth of Hericium erinaceus.