Population pharmacokinetics of recombinant factor VIII:C (ReFacto®) in adult HIV-negative and HIV-positive haemophilia patients