The Bravyi-Kitaev transformation for quantum computation of electronic structure.