Antônio Lima dos Santos (born 18 January, 1942) is a former Brazilian football player. He has played for Brazil national team.