web/download: add FFmpeg 4.2.1