ffmpeg thumbnailor или тайм-код в имени файла

У меня много видеофайлов, и я хочу сделать один эскиз каждые 20 секунд. Вот что у меня сейчас:

for %%a in ("*.*") do ffmpeg -i "%%a" -f image2 -vf fps=1/20 "index\%%~na_IMG-%%05d.jpg"

Теперь я хочу дать миниатюрам имя с временным кодом следующим образом:

VHS-0001_TC-00: 00: 00_IMG-001.jpg

VHS-0001_TC-00: 00: 20_IMG-002.jpg

VHS-0001_TC-00: 00: 40_IMG-003.jpg

VHS-0001_TC-00: 01: 00_IMG-004.jpg

Я гуглю сейчас много часов, но не могу найти ничего, чтобы создать такое имя файла.

У кого-нибудь есть идеар?

Большое спасибо за вашу помощь и поздравления из Вены

Стефан