Puerta del Arco de Alcocer ó de la Carcel, AREVALO