β-Ergokryptine, a new alkaloid of the ergotoxine group