The invention is directed to compounds of the formula described herein, a pharmaceutically acceptable salt thereof, or a prodrug thereof, and pharmaceutical compositions and methods of treatment. According to at least one such method, bit lines a memory segment are read at substantially the same time by coupling a selected memory segment, and at some of the data lines of any intervening segments, to respective data caches. The position of the gripper assemblies on the frame is adjustable to provide equal lifting force for a variety of differently sized boxes or for different numbers of boxes. Adenosine diphosphate and collagen can be used as the anticoagulant. The taps comprise a diminished outer layer section of the fiber. The processor stores, in the memory, type data indicating a single type of time from a plurality of types of time that are to be measured according to the protocol.