3-Butene-1,2-diol (BDD), a known in vivo metabolite of 1,3-butadiene, is oxidized to a reactive Michael acceptor, hydroxymethylvinyl ketone (HMVK). Previously, we characterized formation of three HMVK-amino acid monoadducts when HMVK was incubated in vitro with N-acetyl-L-cysteine (NAC), L-valinamide, and N-acetyl-L-lysine (NAL) at physiological conditions. One HMVK-NAL cyclic diadduct (cyclic diadduct 1) also formed by sequential Michael addition reactions of two HMVK molecules with the ε-amino group of NAL followed by enolization and cyclization. Loss of a water molecule and autooxidation converts cyclic diadduct 1 to a more stable cyclic diadduct 2. In the present study, we used multiple mass spectrometry techniques to investigate formation of HMVK adducts with nucleophilic residues of Hb in vivo after dosing Sprague-Dawley (SD) rats with 25 and 200 mg/kg BDD. Trypsin digested globin peptides with mass shifts consistent with the presence of HMVK monoadducts and cyclic diadducts were detected by LC/ESI-QTOF/MS with all rats given BDD. Use of MALDI/FTICR provided further evidence for formation of HMVK monoadducts and cyclic diadducts and use of LC/MS/MS provided unequivocal evidence for adduction of HMVK with Cys125 of globin β chains. Because BDD can also be oxidized to 1,2-dihydroxy-3,4-epoxybutane (EBD), formation of N2-(2,3,4-trihydroxybutyl) (THB)-Hb adducts was also investigated in rats given BDD and several peptides modified by THB were detected. However, because HMVK incubations with red blood cells in vitro also led to detection of THB-Hb adducts, the THB adducts formed in vivo could be attributed to formation of HMVK, EBD, or both. Collectively, the results provide new insights into the reaction of HMVK with proteins.