Infrared Space Observatory Photometric Search of Main-Sequence Stars for Vega-Type Systems