Effective field theory for He-IV