Protective modules over polynomial rings over division rings