Encode text for HTML.