Higher-derivative supergravity, AdS4 holography, and black holes