Marini, Giovanni Battista de', active 1660-1680, General of the Dominicans