Just before going downstairs to immigration there is a kiosk from one of the local carriers (can't remember which one) and they should have SIM cards there. If they don't or you don't like them, after clearing immigration you can re enter the terminal building where there is a Claro shop that should also have cards for sale.