Basic Bundle Theory and K-Cohomology Invariants