I thought any codec installed on the system was available, but in any event the usual advice os to render to an image sequence and assemble that in a video editor - that allows you to render in chunks, ro rerender frames that need tweaking without having to rerender the whole animation, and provides protection from crashes. Rendering to an image sequence also allows you to use PNG (or Tiff) and so have an alpha channel.