Antoniolus, de Monistirolo