Palomino de Castor y Velasco, Antonio