Pandoc - also an option. A Haskell program (hey, I've been looking for an excuse to despair at Haskell again!), which translates between various structured languages. It can convert Markdown to S5 (which shouldn't be particularly difficult, as S5 is normal HTML), but also various other formats. I like Markdown, use it for example in my blog software.