(17R,19E)-19,20-Didehydro-1-demethylajmalan-17-ol