Detection and quantitation of diadenosine tetraphosphate by high-performance liquid chromatography