How is adenosine triphosphateATPformed?