Federal Funding for Discovery and Development of Costly HIV Drugs Was Far More Than Previously Estimated