I invested in an AST project, but I get a refund in ASTH. How do I convert ASTH tokens back to AST?