We'd probably use MP3 (or OGG) streaming at about 24kbps.
(*Maybe* WMA, but that's MS and since it's likely that the server would be on a Linux/UNIX box it would be kinda hard.)
As mentioned before the highlights can be saved in downloadable files so people can listen at their own convenience.