Virus attack takes RasGas offline