WBJ: D.C. Housing Authority eyes mixed-use redevelopment of its headquarters