Iridoid constituents from the ant plant Hydnophytum formicarum