Koelzioside, an iridoid diglycoside from Scrophularia koelzii