which stars have the spectral type a1v?
(AND astronomy.star (JOIN astronomy.star.spectral_type m.021yntd))