Hoyle Lecture Theatre, Hoyle Building