Interfacial cavity filling to optimize CD4-mimetic miniprotein interactions with the HIV-1 surface protein