Son MP4's
Para ejecutarse desde el MP"5" no hay antivirus, pero hay un AV muy bueno que iwal te ayuda a desinfectarlo, vacunalo y respaldar tus cosas, se llama USB Security Utilities (usu.alvarsoft.com)
Escanea tu PC también con un antivirus residente (NOD32, Avast, etc) y dale una pasada al MP5 también, verás qué pronto se quita
Saludos