Quantum non-Markovian Langevin formalism for heavy ion reactions near the Coulomb barrier