(5α,5α,8β,12β,12β,19α,19α)-2,2,3,3,6,6,7,7-Octadehydro-7,8-biaspidospermidine-3,3-dicarboxylic acid dimethyl ester