Flavonoids from Digitalis thapsi leaves.