Recording "The Producers": A Musical Romp With Mel Brooks