Joel AntÃ nio Martins ( born 23 November , 1931 ) is a former Brazilian football player . Joel AntÃ nio Martins ( November 23 , 1931 in Rio de Janeiro - January 1 , 2003 in Rio de Janeiro ) was a Brazilian football winger .