...
  networking = {
    useDHCP = false;
    # From /etc/resolv.conf
    nameservers = [ "172.31.0.2" ];
    defaultGateway = "172.31.0.1";
    usePredictableInterfaceNames = false;
    interfaces.eth0 = {
      ipv4.addresses = [
        {
          address = "172.31.7.212";
          prefixLength = 20;
        }
        {
          address = "54.165.24.75";
          prefixLength = 32;
        }
      ];
    };
  };
...