In what year did Sir Anthony Eden become the British prime minister?