How does adenosine triphosphate (ATP) become adenosine diphosphate (ADP)?