To encode to mpeg:
  TMPGenc http://www.tmpgenc.net/e_main.html
    (free mpeg-1; pay for mpeg-2 after 30-day trial)