.alpha.-D-(+)-mannose 1-phosphate AIDS-123116 AIDS123116