Если вы не полностью привязаны к awk, grep
здесь хорошо работает:
$ grep -E '\<[[:digit:]]{1,3}HO?[[:digit:]]{1,5}\>' filename
123H7292
234HO7027
Это тот результат, который вам нужен? Интересно, должно ли совпадать HO90902
.
\ <
и \>
являются границами слов, поэтому «12345678H123» не будет совпадать.