José Pinto de Carvalho Santos Águas (Portuguese pronunciation: ; 9 November 1930 – 10 December 2000) was a Portuguese footballer who played as a striker.
José Pinto de Carvalho Santos Águas; 9 ноября 1930 — 10 декабря 2000) — португальский футболист, выступавший на позиции нападающего.