Who was the executive producer for the 1980 film, "The Elephant Man"?

"The Elephant Man" is a 1980 biographical drama film loosely based on the life of Joseph Merrick (referred to as "John" in the film), a severely deformed man who lived in London in the late 19th century. The film was directed by David Lynch, produced by Jonathan Sanger, and executive produced by Mel Brooks (who was uncredited, to avoid audiences anticipating the film being in the vein of his comedic works, although his company 'Brooksfilms' is in the opening credits). It stars John Hurt, Anthony Hopkins, Anne Bancroft, John Gielgud, Wendy Hiller, Michael Elphick, Hannah Gordon, and Freddie Jones.

"The Elephant Man" was a critical and commercial success with eight Academy Award nominations, including Best Picture, Best Director, Best Adapted Screenplay, and Best Actor. After receiving widespread criticism for failing to honor the make-up effects, the Academy of Motion Picture Arts and Sciences was prompted to create the Academy Award for Best Makeup the following year. The film also won the BAFTA (British Academy of Film and Television Arts) Awards for Best Film, Best Actor, and Best Production Design and was nominated for Golden Globe awards. It also won a French César Award for Best Foreign Film.

Melvin James Brooks (né Kaminsky; born June 28, 1926) is an American actor, comedian, and filmmaker. With a career spanning over seven decades, he is known as a writer and director of a variety of successful broad farces and parodies.