Antonio de la Cruz ( born 7 May 1947 ) is a former Spanish football player .
JesÃ s Antonio de la Cruz Gallego ( born 7 May 1947 in LeÃ n , Spain ) is a former Spanish football player and manager .