Convert charset of HTML document from ISO-2022-JP into UTF-8