Mechanism of Bacteriophage T4 DNA Packaging ATPase