AdS4 black holes from M-theory