KAM for reversible derivative wave equations