Ventolin Hong Kong, Ventolin and proventil