What with a change in set-up when moving house, I no longer have access to an HDMI screen so bought an HDMI to VGA converter and hooked up a spare LCD monitor. I am pleased to say this works well and (using RISC OS) I am looking at a 1280x720 screen. Yay!
As a bonus, this item includes a mini-jack lead, though this has to be between the Pi and an amp, not the outlet on the converter and the amp.
Unfortunately, this setup seems to draw more power than just HDMI and the mouse stopped working. It was a gift and does have a few embellishments, not least that it looks like a toy car! The logitech keyboard is fine and the LEDs in the mouse ignite, it just doesn't work. I was in Poundland
Perhaps that goes some way to answer the perennial question "which mouse should I use with a Pi?"