reduce or dispose of; cease to hold (an investment); "The company decided to divest"; "the board of trustees divested $20 million in real estate property"; "There was pressure on the univeristy to disinvest in South Africa" 