霍金用英语怎么读音