Old Divinity School, Main lecture theatre