The Connes-Kasparov isomorphism