Kirillov’s character formula, the holomorphic Peter–Weyl theorem, and the Blattner–Kostant–Sternberg pairing