Mark Wainberg, dead at 71, was ‘a giant of HIV science’