Being a non-profit facility, there are no fancy DSPs to notch out the hum or anything like that, so more creative solutions were investigated. It was determined through dumb experimentation that orienting an identical microphone 180 degrees to the one with the hum and setting the gain similarly would nearly eliminate the hum.
Eventually, the working theory became that a relatively new large pad transformer installed across the street was being picked up by the microphones. Orienting one microphone 180 degrees from the other caused the hum to be picked up out of phase from the main, and thus could be mixed in to cancel out the main mic hum.
Ultimately the real solution was simply buying better microphones, but there was a period of some months while a microphone sat off stage, pointed backwards.