A live orchestra in an echoey cathedral? Hundreds of mikes? 'Maestro' sound duo is on it
The movie's other great challenge? Party scenes. The usual method is to mike the principals and lay in group effects in post. Group scenes here required everyone to be miked.