10进制转4进制公式是什么