GI 5, a dimer of oleoside, from Fraxinus excelsior (Oleaceae)