More bang for buck in global HIV resource allocation