I would try AST-STK-ASX-AUD, AST-STK-SMART/ASX-AUD, or AST-STK-SMART/-AUD. Finding the right IB symbol for a stock is sometimes trial and error.