if they were recorded on a single recorder, it's fairly straight forward. Normalize each source individually, then align tracks by zooming in to match the start times to account for the speed of sound, then listen, adjusting the balance between soundboard and audience mics til you like the result. Listen to any edits using as many different playback methods as possible so you can make sure the results sound good everywhere.