Alkaloids of Lycopodiumselago. On the identity of selagine with huperzine A and the structure of a related alkaloid