Brazil becomes world champion, 1958