I think, those additional BL4000 would help anything. Your setup with the sofa and all other loudspeakers looks good.
BTW. I just configured AST on my BV7-40 (with 2xBL6000, BL7-4, 2xBL4).
For the TV profile, I disabled AST because AST doesn't support Dolby Digital 5.1 Input to pure Dolby Digital 5.1 output (it will use a Dolby + PLIIx Movie).
Your setup looks similar to mine.
You will disable AST for TV/VIDEO and define the distance from each loudspeaker to the corner of your sofa.
You can enable AST for another profile for the chair. But the add. BL4000 won't really improve the sound.
I added two AST AUDIO profiles for two different seating positions because they are not centered to the VIDEO-viewing postion.