Afonso Alves (Afonso Alves Martins Júnior) - Nationalmannschaft