My Favorite Sichuan Hot Pot Recipe, from 1972