Redis How to delete this key?

My Redis 3.2.12 instance accidentally wrote a key with the name：

key_12345'"'");|]*^@{ <^@>�''

I've tried many methods but can't delete this key. Given that this is a busy production instance, is there a way to delete this key without affecting the business read/write operations?

Comment From: sundb

./src/redis-cli --raw keys "key_12345*@* 1F4A9" | xargs ./src/redis-cli del {} please use the KEYS command in advance to fine the unique match of the key you want to delete.

Comment From: banlilin

Thank you, but it doesn't work

Comment From: sundb

@banlilin please give your operation steps.

Comment From: banlilin

I tried Lua scripts, Python scripts, and various command line methods, but none could delete it. It is likely a version issue that cannot handle too many special characters.