Vertigo, Tinnitus, and Distending Headache: Formula

A 73-year-old man has had recurrent distending headaches, vertigo, and tinnitus for half a year. He is irritable and sleeps poorly, but has no clear bitter taste or constipation. Tongue is red with scant coat. Pulse is wiry, thin, and slightly rapid. Which formula is most appropriate?