On Asymptotically Efficient Consistent Estimates of the Spectral Density Function of a Stationary Time Series