Antônio Dias dos Santos (born 7 June, 1948) is a former Brazilian football player. He has played for Brazil national team.