I live in Ohio and my father in law just passed away. He was 64 yrs old. He had a 401K worth 85K. There are 4 beneficiaries, all his children (wife is deceased). What will be the process for disbursement, especially with regards to taxes and penalties? Thank you.