Who did anthony eden succeed as british prime minister in 1955?