Family of Muñoz Mora, Antonio Domingo and Jiménez Román, Antonia