El nombre era en honor del platero aragonés Antonio Martínez Barrio.