Lunguinha (António Luís dos Santos Serrado) - Nationalmannschaft