RHEL 7 how to install kernel sources from the command line ?

Red Hat Customer Portal page for downloading the kernel package
Downloads > Red Hat Enterprise Linux Packages > kernel
indicates that package:

Source Package - kernel-3.10.0-1160.83.1.el7.src.rpm

is available from repository labelled:

rhel-7-workstation-source-rpms

However, the result of running
$ sudo yum --noplugins repository-packages rhel-7-workstation-source-rpms list all

is shown in attached picture