Choline Theophyllinate is the active ingredient you should be looking for.
On the international markets it can probably be found under the following brand names: Choledyl, Teovent, Theocolin and Theolinate but availability is not guaranteed and getting the medications into Australia is probably not going to work out well due to import regulations.
Sorry that I cannot give more information on that medication.