fixed bug in HIV.php