Congress increases money to beat HIV, but stops short of goal set by advocates