ダイアログが表示されたらファイル名を入力し、ファイルの種類で「mp4 file」を選択し、「ビデオ圧縮」ボタンをクリックする。