Infrared diameter of IRC + 10216 determined from lunar occultations.