Triterpenoids and some other constituents from Dichrostachys cinerea