Working with multiple files that need to be renamed? Don't do it manually, save yourself the time and effort and use a batch renaming tool. Alternate Archiver is a freeware tool that can assist you with this menial task, and more.
https://www.ghacks.net/2020/12/24/batch-rename-files-change-the-timestamp-or-archive-files-to-a-directory-of-your-choice-with-alternate-archiver/
https://www.ghacks.net/2020/12/24/batch-rename-files-change-the-timestamp-or-archive-files-to-a-directory-of-your-choice-with-alternate-archiver/