AR(4) autocovariance