Antonio Rodríguez — Cuban baseball player (born 1915)