Save yourself a step. You’re on the right track with 7-ZIP, but you don’t need to add it to an archive. Just open 7-ZIP’s explorer and use it to delete the folder. I’ve done it numerous times with folders on servers that are either too long for Windows to delete (happens more than you think) or you just can’t delete.