Terraform Labs to sell 4 companies as part of wind-down