Simple progressive HTTP stream is used on this page. You can copy such streams from the cache of your web-browser. You can also download such streams with many programs, including freeware Fast Video Download extension for Firefox (works in Windows, Linux, Mac OS), freeware Freecorder 4, paid Replay Media Catcher.

More:
FAQ: How to record/download/capture/save Adobe Flash .FLV video HTTP stream from embedded player