Positive bidiagonal factorization of tetradiagonal Hessenberg matrices