Trivulzi, Antonio, active 15th century, Cardinal