Original: Antônio Lima dos Santos , known as Lima ( born 18 January 1942 ) is a former Brazilian footballer .
Simplified: He has played for Brazil national team .