Anthony Eden becomes prime minister as Churchill era ends