Doug Miller writes:

Drill it out and replace the lock. The metals are soft; this isn't
difficult.

That's just ridiculous. Get the key out, then lube the lock with
powdered graphite, or graphite in oil. There's no need to replace the
lock.

I should have qualified, "given that getting the key out was not
practical," which I expect is the case.