Echinograciolide, a new antibacterial nor-triterpenoid and other constituents from Echinops gracilis O. Hoffm. (Asteraceae)