Adenosine 5-(trihydrogen diphosphate), potassium salt