Wahlenbergioside, a phenylpropanoid glucoside from Wahlenbergia marginata