JoÃ # o Justino Amaral dos Santos ( born 25 December , 1954 ) is a former Brazilian football player . JoÃ # o Justino Amaral dos Santos , best known as Amaral ( born in Campinas , SÃ # o Paulo State , December 25 , 1954 ) is a former football ( soccer ) player .