Frank Budden – mathematician and choral conductor