De la Vega Martínez, Antonio