形式オプションについて教えてください。

Macを使用しているので、Windowsのメニューと異なるため正確な回答ではないかもしれませんが、
スクリーンショットには「AVIオプション」が表示されているので、Windows 専用のメニューだと思います。
ProResは、QuickTime形式のコーデックになるので、QuickTimeを選択してはどうでしょう。
なお、ProResはロスレス圧縮ではないので、もしかするとユーザーからクレームがあったのかもしれません。