Lobsters: Making HNSW actually work with WHERE clauses