Well, he's obviously being very aggressive but isn't he also 'only' kicking the ball around? If the ref has blown the whistle and he plays on like that, yeah then I'd also give him a lengthy ban but if he hasn't halted play already I am not sure I'd know what to do really.. as it's not exactly disallowed to kick the ball fiercely even if it's hitting an opponent.
In Handball for instance you'd get a direct Red Card if you throw the ball into someone's face.. not sure if there are any similar rules in football?