The structure of dihydrotoxiferine