I believe the correct lube for that is Aeroshell 64/ 33MS on the nut and some on the extension between the upper receiver and extension. It's what I use anyway if the barrel is stainless especially.
AeroShell 64 (old name was 33MS) is the proper assembly grease for installing barrel nuts. It was not used during this particular assembly.