AntÃ nio Dias dos Santos ( born 7 June , 1948 ) is a former Brazilian football player . AntÃ nio Dias dos Santos , best known as Toninho ( born in Vera Cruz , Bahia State , June 7 , 1948 - died December 8 , 1999 ) was a Brazilian football ( soccer ) player in defender role .