Is it possible to reference the primary key in another field in a Django model?

For example, let's say I want to have a field looking like `BUG0001` corresponding to the entry with `pk=1`. What is the best way to achieve this?

I think it is best to keep the primary key as an integer as it is easier to deal with, and I guess formatting the primary key every time is not very effective.