Solving the structure of HIV's Gag protein