On compact and TOP_0-compact sobrification