83. The alkaloids of ergot. Part VIII. New alkaloids of ergot: ergosine and ergosinine