Hypocholesterolemic alkaloids of Lentinus edodes (Berk.) Sing.—I: Structure and synthesis of eritadenine