Campanus, Johannes, active 15th century