My understanding is that Lilu is required for AppleALC. In my case, even with Lilu, HDMIAudio would not work, so I just used the previous version of AppleHDA (see post 646).
So, all you did is just
1) Replace the 10.13.4 AppleHDA.kext by the 10.13.3 version
2) Install AppleALC.kext 1.2.6 to S/L/E
3) Installed HDMIAudio.kext 1.1
on your Mac Pro. Is that correct?