Time-Reversible Velocity Predictors for Verlet Integration with Velocity-Dependent Right-Hand Side.