Compaq buys DEC