html - HTML5 ビデオ要素のファイル名をダウンロードする

Question

html5<video>タグのファイル名を設定する方法を知っている人はいますか? ダウンロード属性を試してみましたが、<a>または<area>タグでしか機能しません。