One Demo Is All It Takes: Planning Domain Derivation with LLMs from A Single Demonstration