Efficacy, safety and tolerability of tipranavir coadministered with ritonavir in HIV-1-infected children and adolescents