Dos batch: dateinamen ab zeichen löschen

So viele Tipps hier, wie man Dateinamen per Batch abändern kann...meine Problemstellung leider nicht dabei.

Gesucht wird eine Batch für DOS, mit der folgende Dateinamen umgeschrieben werden:

Der Originalname lautet zB
21_Gumpoldskirchen@httphds_14065387_14764232@VERYHIGH_http.mp4

und daraus soll
Gumpoldskirchen.mp4

werden.
Also alle Zeichen ab dem @ (inkl. @) sollen entfernt werden und bei der Gelegenheit auch gleich die ersten drei Zeichen.

Geht sowas mit DOS-Bordmittel unter Win10?

Danke vorab!

@echo off
set "quelle=d:\ordner"  
for %%a in ("%quelle%\*.mp4") do for /f "tokens=2 delims=@_" %%b in ("%%~na") do ren "%%a" "%%b%%~xa"  

@echo off
set "quelle=d:\ordner"  
Powershell -EP Bypass -C "ls '%quelle%' -File -Filter *.mp4 | rename-item -Newname {($_.Basname -split '[@_]')[1] + $_.Extension} -verbose"