Dave,

I recently tried a couple high school games and often shot between f/2.2 and f/2.8 at 1/500 second and ISO was typically around 1600. I would guess the 85 f/1.8 would be the best option among what you've listed. The 70-200 f/4 could be good when the players aren't moving around as quickly, but you may be forced to really crank up the ISO to 3200 or so for action shots.

Dave