As the BBC's head of music and general director of English National Opera, Dennis Marks was a passionate and occasionally provocative advocate
