GSK flags up pipeline as HIV drugs help it beat profit forecasts