Tostão (Eduardo Gonçalves de Andrade) - Nationalmannschaft