Mirenda, Gregorio Perez de. See Perez de Mirenda, G.