BPS black holes in AdS 4 from M-theory