As admin you can change their username manually. Just go to their profile and edit the username. 
But I believe it should be unique as well so maybe just rewrite the anon to deleted_user and keep the numbers.
As admin you can change their username manually. Just go to their profile and edit the username. But I believe it should be unique as well so maybe just rewrite the anon to deleted_user and keep the numbers.