How does ATP become adenosine diphosphate?