They were certainly 'Prog' on tracks like 'Earth Shanty' from the Hogwash album, Arp synths, Mellotrons etc
As for Hawkwind, first 'proper' group I saw ( january 1975), and the sound almost liquidised my 14 yr old intestines as I was smack in the centre of the front row........brainstorm?.....more like gutstorm!!