batchg rename of files?

I’m using Mixamo, just to learn the nropes mind you, and I noticed that the files will become named like this playing_the_violin_1498263725_000_human_female_003_Anim upon import. I tried an advanced file renamer but it gets reverted as soon as the game notices. So, how wsould I edit a bunch of those at once or am I stuck F2ing it one at a time?