Troubled Gulf Air to get $159.2 million cash injection