Did you shoot with RAW or JPEG. If
jpeg, you will not have much ability to fixup a seriously underexposed image.
Expect to use NR with RAW high ISO images, using them out of camera will be a issue.
ISO 12800, f/3.2 1/60 sec. Plenty of noise, but it responds well to post production fixes. DR is the biggest issue at very high ISO's.
Here is almost the same scene taking the evening before at ISO 25600, f/2.8 1/80 sec. DR was a big issue so I dropped the shutter speed to 1/60 with my 24-70mm MK II the 2nd night and that dropped ISO a stop. The light was just a little different as the lighting crew got better with practice. Generally, I just shoot the first night of a dress rehearsal for practice