Hypocholesterolemic alkaloids of lentinus edodes (berk.) sing. II. A novel synthesis of eritadenine