I need to record live footage of a HD camera via the SDI output (bnc cable)

Any ideas?

The image isnt live, it is via the onboard camera playback at 500 frames per second.

Long story...

I just need the output in AVI format.