The backstory of the casting of Chrissy on “Three’s Company.”