My "GoTo" mic for five string banjo is now the MXL 603 for the last couple of years. The older Shure SM-81's also work well. The Behringer ECM8000's or Audix TR-40's or the Earthworks omnis would also do a good job, although they would pick up more room sound.
The Oktava MC-012's would work probably okay, but you might need a little boost somewhere between 7 and 12kHz to bring out a little sparkle. Several of the AT mics would also be a good choice.
The final choice will depend on the actual instrument, mic placement, and the key of the song. Any mic with high frequency peaks can sound great in one key and harsh in a different key, depending on where those peaks occur.
With many instruments that have a lot of high frequency energy, mic placement is often more important than mic selection.