Antonio JiménezAntonio Jiménez may refer to: Antonio Jiménez Manjón, Spanish composer Antonio Jiménez (baseball), Cuban baseball player, see Industriales Antonio David Jiménez, Spanish steeple chase runner Toni Jiménez, Spanish soccer player Antonio Jiménez Quiles