António Carvalho (António José Pereira de Carvalho) - Nationalmannschaft