1,2-Didehydro-7α-ethyl-20,21-dinoraspidospermidin-6α-ol