so at the moment you only have 4 inches to play with... you have a few options with varying degrees of workload.
1. install 4" of rockwool between the joists and another 6" over perpendicular to the bottom layer. This means however that you coulndt use the attic for storage because if you squash quilted insulation down, you loose its insulating properties.
2. do as above, but run new 6" joists perpendicular to below, and floor out. This means you can then use the attic as storage without squashing th einsukation
3. install 4" of rockwool, and reslab the ceiling below with a composite plasterboard, eg 47.5 board (35mm insulation and 12.5 mm plasterboard) . See kingspan kooltherm k17 boards.
4. install 4" of PUR insulation (kingspan, quinntherm, xtratherm etc) between joists, and use quilted insulation at eaves (this gives better u values,but wouldnt be my preferred option, because this puts at risk the integrity of the timber joists, assuming the roof spce isnt ventilated).
the above is only determined by what youve posted so far and is in no way a substitute for hiring a competent professional to advise you in the best way forward....