Structure-guided optimization of nanomolar inhibitors of the VHL-HIFalpha protein-protein interaction